منابع مشابه
Inversion of multifunctions and differential inclusions
We present a new inverse mapping theorem for correspondences. It uses a notion of differentiability for multifunctions which seems to be new. We compare it with previous versions. We provide an application to differential inclusions.
متن کاملBraided differential calculus and quantum Schubert calculus
We provide a new realization of the quantum cohomology ring of a flag variety as a certain commutative subalgebra in the cross product of the Nichols-Woronowicz algebras associated to a certain Yetter-Drinfeld module over the Weyl group. We also give a generalization of some recent results by Y.Bazlov to the case of the Grothendieck ring of a flag variety of classical type. Résumé. Nous fournis...
متن کاملdifferential propositional calculus ∗
calculus Calculus circle Circle collection Collection combination Combination combinations Combinations component Component components Components cover Cover cut Cut divides Divides entire Entire even Even language Language number Number object Object objects Objects parallel Parallel range Range ranges Ranges rank Rank ranks Ranks place Place representation Representation represents Represents...
متن کاملThe differential λμ-calculus
We define a differential λμ-calculus which is an extension of both Parigot’s λμ-calculus and EhrhardRégnier’s differential λ-calculus. We prove some basic properties of the system: reduction enjoys ChurchRosser and simply typed terms are strongly normalizing.
متن کاملBoolean Differential Calculus
After a brief outline of classical concepts relative to Boolean differential calculus, a theoretical study of various differential operators is undertaken. Application of these concepts to several important problems arising in switching practice is mentioned. General notations The following notations are used in this paper: Boolean disjunction + or ~ Boolean conjunction no symbol or IT Boolean ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Analysis and Applications
سال: 1970
ISSN: 0022-247X
DOI: 10.1016/0022-247x(70)90078-8